$\forall$$i$, $j$:$\mathbb{Z}$. ($\neg$($i$ = $j$)) $\Rightarrow$ (($i$ =$_{0}$ $j$) $\sim$ ff)